In most cases video recordings (.rec and other specific formats) can be exported to various formats like the AVI, which is most likely what users looking for rec to avi conversion want. Try to check the original software for the recording and look for an export function. Other than that you can always contact the support service of that manufacturer or developer.
Open REC file Open AVI file