Yep, exactly (though I think they'd round up in that case so it would be 4008). That was why I made the note . It's only a 27 point difference on ~4000, so I'm just going to count my blessings and let it be.