Yo, that's still a worthy tip. A buck is a buck.
That’s less than 50 cents a mile. Personally, I would never order from 15 miles away because I typically tip $2-3 per mile as a rule.
The tip was fine, I wouldn't have taken it for 9 bucks though.