There are two bobbin cases on ebay right now. The expensive one is $10. So I wouldn't let that hold me back.
#1 Serial G4330424 is in a table (which is in between things so I didn't get a good look at it). It comes with a gallon ziplock of things. It's supposed to work, which means "Ron" plugged it in and ran it for a second. There's a receipt in the bag from the last time it was serviced in 1980. $49.95
#2 Serial G4323522 (how do I keep finding two machines from the same lot? I'm not Noah.) in the reptile case. "Ron" says DO NOT PLUG IN on the tag. The decals are better on this one. No accessories. $49.95
I didn't look for the bobbin cases but now I know I should. These two machines have been there for a while, one is from October.
I wonder if they would haggle. The manager is a bit of a jerk.