"A librarian has weekends off and has 10 paid vacation days per year, including holidays that fall on weekdays. If his salary is $32,500 per year, what is his pay per workday?"