I am currently investigating possible expansions and generalizations of the moving sofa problem. I am mainly considering higher dimensions and other angles. This led me to consider the height and length of both the Romik and Gerver sofas. Given the closed form of representation of the Romik sofa, I was able to easily calculate the average height from the length provided in his paper. However, the Gerver sofa can not be represented in closed form and I have been unable to find either its length or height in the literature. Is it a known result? If not, how could it be found?