Thanks folks, I've taken the plunge and purchased a Mac Mini G4 1.42GHz.

It's the most expensive thing I've ever bought on ebay. I have no idea how I'm going to explain this to the girlfriend.