I want to get a new mattress for our Seville. It has a king in it, but I don't recall the measurements. I don't think it is a standard size. If you have a little time to kill and your trailer is handy, could you measure this for me? Ours is at the dealer still.