Yeah, get Windows Media Player 10, if you don't have it already, and the interface above in that website should be the same.
If you don't want to use WMA though (A windows sound format which isn't supported by alot of sound players), then go into Options and change the ripping to use MP3.
I suggest 192kbps as a good ripping bit rate.