Out of curiosity, is gatorboard/gatorfoam just a manufacturer's trade-name for foamboard?