Not quite that much
I think they were £100 or so each.
Of course it does depend how long lockdown lasts and whether I run out of things to model. Printer filament is getting very scarce in the UK as we've turned most of it in to medical hardware, and of course it's largely made in China so there are no more supplies inbound. I'm having to be a tad more circumspect printing ad-hoc prototypes of things.