I wonder if it's a PPG number? I have been using PPG Duracryl #9355 but it's just too gritty.