Myeah, I'm also sure it's possible to record or download and save Grooveshark mp3 music to your pc.
Though if I am not mistaking, you can pretty much record and save mp3 music from Grooveshark with a sound recorder program, plenty of them round google if you also want to try this kinda solution.