A Griswold #12 for under $200 is unheard of...
the pan mentioned is actually more of a #11 in size, not a #12. You might well have to hunt and peck for a decent Griswald at $200, yes, but that's part of the fun.
this might prove helpful for us
http://www.panman.com/sizecharts.html