Haha! No kidding.
Anyway, I did take a picture of the defective air box and Acorn Welding said they could repair and install a kit for ~$450.
But I decided to pick up that one on eBay for $250 ($300 shipped to Canada).
Thanks to all for all you feedback and comments! I looks forward to many more interactions with you great group of guys as I embark on my airplane-ownership-journey!
Eric