Miguel’s employer pays $1,825 in health insurance and $93 in life insurance per year. He also gets $2,860 in paid time off per year. His monthly gross pay is $3,890. What are Miguel’s total employee benefits per year?