They are fairly expensive for good branded ones.
Don't believe 800 is a size you can get, normally jump from 600 to 1000 long.
As they get used rarely I have a couple of cheapish 3pc sets in 1m and 1.5m.
I think they are 12, 16 and 24mm and where about £25 and £45 a little while back.
When I say cheapish something like Silverline, Toolpak or Bluespot brand IIRC, top branded I wouldn't be surprised if they where 50-70 each?