HOPKINS: Rename the parameter of PlayAnimSound to make it meaningful