As an aside, video playback with VLC using the radeonHD driver is smooth as silk with both X11 and Xvideo, full-screen or windowed. I'm impressed.