ProBoolean is definitely more stable than the standard boolean, I also check other things such as all verts are welded, no self intersecting faces, no open edges, no two sided faces etc but STL check pretty much does that for you, those tend to be the main culprits for dodgy boolean results.