This from my (personally customized) help page:
 
===================================
Go to System Mgr, TAS-D (Maintain Database).
 
Select BKPRMSTR.BVH
From the box that pops up, click the double-arrow to show all fields
At the top of the screen is a check-box that says "Allow editing". Put a check-mark in it.
The far left column has the employee numbers. Find the one(s) you want.
Select the box with the number and press <Enter>
Then change to the new number and press <Up> or <Down> arrow key.
It will ask you if you want to save the current record. (Yes).
 
Then we go to UT-K-B (Global field replace)
 
File Name is BKPRHIST
Scroll to and select BKPR.CURP.EMPNM as the Field Name
In "Enter value to replace" put the OLD employee number
In "Replace with value" put the NEW employee number
When it's done it will tell you how many it changed.
====================================
 
You probably shoudl try it in your SandBox company before doing it for real.....

I don't care so much about labor records unless I will lose the information because the employee number no longer exists.  How is all that handled in JC etc?

Just in case anybody else is interested, when an employee is removed from the Employee master file (same one is used for JC Labor and Payroll), The JC Labor reports will print the workds "Terminated Employee" where the name would go.