Yes, they'll pay $3.85 in total.
They can declare a fully franked dividend of $0.125/share, which will reduce the $3.85 payment to $3.725.
Attached to the dividend are $0.05 worth of franking credits.
Making the gross proceeds $3.90. However, tax must be taken into account on all these amounts.