They can allow the rollover however they are correct there are ordering rules for distributions from the account. The record of the conversion from the 401K to the ROTH 401K then subsequent roll to a ROTH must be kept so when the withdrawals happen they can be dealt with correctly.
https://www.irs.gov/publications/p590b
