I never had any problems with OpenTK, the library itself is well made and stable. I don't know what could go wrong with the VBOs as OpenTK is only a thin wrapper over OpenGL. Only the Window Part was pretty heavy but it worked perfectly for me.