I can do the PR if @spastorino think's it's worth it. Thanks for running the numbers!