Yes, it is public record. However, you should know that it may actually be more difficult to find out the number than you think even with the records in hand. Many times public employees are paid out of multiple funds and you have to go through each fund to figure out the total they are paid. There is only an obligation to not keep the information secret and to release it, not to release in the form that you necessarily desire it (I'm not saying that there is any deliberate attempt to deceive, but rather that it can be difficult to determine from the information you might receive).