Update: thanks for the input, everyone! Builder came out & measured our supposed to be 5x9 ledge & at just the right angles he was able to clock it at 4x10. He said they gave us an extra 6" on each of the long end points so it kinda makes us even overall. (The shape of the ledge shouldn't even...