Whining aside, the pay should be per machine.
Who knows how many machines the intern will format in that one day?
Be the employer you want yours to be.