I know that 529 plans can be transferred to other family members pretty freely, so I thought aggregating was acceptable. Anyway, I got the numbers to work out to what I manually calculated. If the IRS disputes it, well, I'll find out in time.