Thanks, so I suppose there's no problem which version comes with it, as long as the customer has a valid smartnet contract for the migration!
As for the assurance option, can it be installed on the BE6K server?
If not, and the customer wants it, will he need to acquire the provisioning licenses for the other server as well? Or, is there a way to use these licenses from the BE6K with the requested "add-on" assurance ones?