Sounds like a good price for the time
I have some old records of prices achieved for N Class's at the time
A Cherry Black mint in box one sold for £135 stg, not sure what the rate was at the time
A Green one with Lt Ed cert etc mint sold for €305!
Good ones in any livery are making €100 + with the Green still commanding €120 +