re: #651 Fat Jolly Penguin

IIRC, they’re about $140 grand apiece and we have between 120 and 150…

I’m thinking a little more than 140 Grand.