Does anyone know what brand and model decoder is being used on the Athearn Genesis 4-8-8-4 "Big Boy"? Thanks, NC Grimbo