I bought a Mk 4 No 1 a couple of years ago for about $220, so if everything is ok - prob not a bad price (not great though).
Here mine for comparison:
Not the prettiest gun but everything works just fine and it shoots - very well!
Oh yea - You'll need one of these too:
