Since Dunn Benchmark is listed on the USGS topo map as 9,925 feet in elevation and since Bull Mountain is widely accepted as being higher than Dunn Benchmark, I would suggest using the elevation listed in the guidebook, "High In Utah" as the corrected elevation for this peak page. Instead of using the contour elevation of 9,920 feet, the highpoint elevation should be 9,934 feet.
"After the first glass, you see things as you wish they were. After the second, you see things as they are not. Finally, you see things as they really are, which is the most horrible thing in the world."
--Oscar Wilde on Absinthe