The front ac has a id sticker under the return air grille. Mine said 13,500 on the sticker. I would not have noticed if it was working correctly it would not cool to 75 degrees when it was 82 outdoors.
If you have the model numbers you can look them up on the dometic site
http://www.dometic.com/QBankFiles3/E...alog_32016.pdf