It's unclear if a significant number of the employees are going to move from PA to Denver or if Denver will simply be HQ in name.