if you would actually measure the "9*13" pans sold in most grocery store you will find them to be a slightly different and smaller size,
these pans are technically warming pans for catering and for some reason they are available for significantly cheaper than true 9*13