Thanks! I somehow completely read over that part :) But my my single experience with RedHat support was a real pleasure.