Comment 8 for bug 1784257

That's a good call, Wayne.

There's a more general transformation class:

gp_GTrsf transform;
gp_Mat scale_mat( x_scale, 0, 0, 0, y_scale, 0, 0, 0, z_scale );
transform.SetVectorialPart( scale_mat );
BRepBuilderAPI_GTransform geom_transformation( shape, transform, true );
TopoDS_Shape new_shape = geom_transformation.Shape();

Not as pretty, but it'll get the job done. Just recording here for my notes when I get around to digging into this (unless someone else gets there first :)