That's steep, but as others have said it's the going rate. Would I pay that much for it? No. Really depends on your plans for it. Are you wheeling it? Are you planning to drive the wheels off it? This thing will go to 500k miles and beyond so you'll get value out of it. I've had my 100 for 10 years now and if I had to go back I would pay double for it knowing what's done for me and the memories I've had in it.
Also, $7k of maintenance sounds good, but how much of that is labor? I'd want to hear more about the value add to the vehicle? i.e. new parts, fluids etc. $7k in maintenance with at least 50% labor and surely a mark up on parts may not really be all that much. It's great to have all that done, but I wouldn't use that $7k number to justify the high price.