Ahh brilliant, I remember seeing that thread a while back.
The only reason I ask is that I have access to an industrial vinyl cutter that can make something very similar to those, but for that price I might as well go for them being they are accurately scaled.
Thanks for that.