Larry 7's music is dead easy to rip. http://bim.km.ru/gap/view.asp?id=%7B039D5BBB-8B77-4930-8859-1C48806E663C%7D
Extract at 22 KHz, 128 kbps.. from the '22b16' folder (or something like that) in 'music'. If that's not exactly right, should be easy to find.
Anyways, you'll get a whole lot of waves. Convert to OGG/MP3, or as Tom or I would do, loop the tracks, fade out, possibly enhance with a digital editor, then convert.