Thanks Charlie, I ended up running out of time so I called the painter to verify and the gray was the right call. He mentioned that they put down a tint before the base coat anyways so primer color didn't really matter (also because the PPG PW7 lays down thick).