ISTR it was actually 9.5% and 13,5% last time I was there. Pay grades have completely changed from the Functional Levels we used to have and are even wider now than they used to be, if I correctly understand what my wife tells me.
She recently popped back into the higher bracket ( which she’d been at >15 years back before being kicked out and later rehired) so I don’t know if the lower bonus amounts are still as they used to be.