Just one more thing, if your Devs do include it, all they need to do is to ensure that the record is not completely overwritten
Other plugins have added user roles this is how the usermeta looks:
a:3:{s:8:"customer";b:1;s:14:"yith_affiliate";b:1;s:9:"um_member";b:1;}
So, something like if the role to be added does not exist, then add it, not overwrite the original, especially as woocommerce adds customer
as the primary user and relegates all others.
Hope that helps with the dev.