Thank you AZ! You knew exactly where I was going with this. I was going to ask about the Splitters next.

I wonder if we could find the vendor where the side splitters were made? Are there vendors that do ABS Plastic manufacturing on a small scale? I've seen some videos on Youtube recently that show some sort of plastic and they heat it up, and then they vacuum form it to a template. I wonder if that's how they did it?