One missing variable in your theoretical car is trans temp at the time of shutdown. ( OK, two missing variables as we need a frictionless pulley in there somewhere. )

If the trans is shutdown hot, the leak rate will be higher than if the trans was shutdown at ambient.

Also consider that the leak rate would vary due to production tolerances and , for used cars, system wear.