> They should solve this problem by using the federal sales tax to round up/down. $1.25 + 5% = 5¢ of tax instead of 6.25¢.

Wouldn't work except in Alberta, NWT, the Yukon, and Nunavut. Anywhere else, the provincial sales tax would knock it back off a multiple of 5.