 12-inch in diameter pipe, $400. Now, that's pretty good size, folks. 12-inch in diameter, yeah. Evidently, it didn't work out for what his intended purpose was. The phone number, in case you're interested, is 226-5804. 226-5804.