Anyway to just notch it yourself? Vinyl is easy to work with and all you would need is the dimensions to trim it to the correct size.

I would at least contact the vendor and let them know that they should fix their problem.