They also put the CRJ-200 as a 12.5-40k airplane when its MGTOW is 53k. I have a feeling they wanted to keep its weight low since those pilots are a dime a dozen.